theorem :: XPRIMES2:568

canceled;