theorem :: XPRIMES2:1560

canceled;