theorem :: XPRIMES2:1568

canceled;