偶数である素数はただひとつであることを証明せよ