N を自然数の集合として
(A ≠ 1) ∧ (∀a,b ∈ N ((A = ab) → (a = 1 ∨ b = 1)))