Ceiling of Root of Ceiling equals Ceiling of Root/Proof 1