>>912
でもあなたは、Nの値を知っているわけです。
じゃあNがたまたま10だった時は？

>>912
おや、重複可ではだめなんですか？
3+は無理の意味がわかりません。
「命題になっていない」でいいですか？