>>737
命題A,Bともに
∃n ∀N ( (n^2 < N ∧ N < n(n+1)) → Comp(N) )

否定命題もともに
∀n ∃N∈素数 ( (n^2 < N ∧ N < n(n+1)) )