theorem :: XPRIMES2:1557

canceled;