given Fin (m * n), determine it's "coordinate" (m, n)
proj[_*_]_ : (m : ℕ) → (n : ℕ) → Fin (m * n) → Fin m × Fin n