4つの相異なる素数が等差数列をなすならば、その公差は6の倍数であることを証明せよ。