theorem :: XPRIMES2:1942

canceled;