theorem :: XPRIMES2:1968

canceled;