Petunjuk E.9.1.

Langkah 1. Dari tugas sebelumnya diketahui sekaligus \(m'\leq m\) dan \(m\leq m'\text{.}\)
Langkah 2. Gunakan antisimetri relasi \(\leq\) pada bilangan real.
in-context