theorem :: XPRIMES2:1975

canceled;