p>3を素数とする。p+2が素数のときp+(p+2)は12で割り切れることを証明せよ