theorem :: XPRIMES2:2568

canceled;