高木くんがアクセプトされるまで見守るスレ ★4

[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

882(1): ◆pObFevaelafK [sage] 2023/08/06(日)05:53 ID:967wRsgL(1/3)
>>881
pが合成数であれば、その全てのpに関して、p→rの関係を設定することが
できるという命題を証明しているのでそうではない

883(1): tai [] 2023/08/06(日)14:23 ID:KzOyJH6t(1/2)
>>882

pが合成数であれば

の段階で

pが素数でないならば

という仮定をしてる

んだけど