[39] The unique existence of ⎿x⏌(the floor of x): ∀a∈R. ∃!n∈Z. n ≦ a ＜ n+1

https://www.evernote.com/shard/s29/sh/9b731c36-15ae-4a58-b6c0-16865eb87482/489a6181cdcf6cd2359b7864bc373c61