>>297
最大の素数があるとして話すすめて矛盾をつく