>>585
ちゃんと読み直しましたか？
何が証明できてて何を証明したいのかが分かりません
>>563のレス内で矛盾してます

具体的にはレスの半ばで
＞m以上n以下の自然数の中に、孤独な数が必ず一つは存在することは証明できた
とありますが最終的にはこれを証明したいと言っています