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

[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★9 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

291(1): １３２人目の素数さん [sage] 2025/05/14(水) 14:08:33.26 ID:YCJE2C6Q(1/2) AAS
m、n、kが自然数であることは使ってる？
使ってないなら自動的に間違いじゃない？

294(2): １３２人目の素数さん [sage] 2025/05/14(水) 16:46:13.16 ID:YCJE2C6Q(2/2) AAS
>>293
それで、それぞれのk、m、nが自然数であることは証明に使われてる？