theorem :: XPRIMES2:1570

canceled;