>>796
>命題A:「あるnに対して、n^2<N<(n+1)nを満たす全てのNが合成数である。」

命題Aを満たすnが存在することを仮定していますね
これは>>691、>>692で確認済みです。
命題AとBが異なる命題であっても、命題Aを仮定することは、必然的にその含意であるはずの命題Bを仮定しています。