Fac ← ×´1+↕
! 720 ≡ Fac 6