Floor of Root of Floor equals Floor of Root/Proof 1