theorem :: XPRIMES2:1506

canceled;