theorem :: NUMBER12:24

for p, q being Prime holds
( not p - q is odd or p = 2 or q = 2 )