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

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

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

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

881(1): tai [] 2023/08/05(土)23:37 ID:uZIjCZh+(1)
>>875
続き

前提として

素数でないpを取るので

ここから素数でないpの存在を言うのは

トートロジーである

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