theorem :: XPRIMES2:1902

canceled;