命題 <=> 2d-1, 5d-1, 13d-1が全て平方数となるdは存在しない