theorem :: XPRIMES2:258

canceled;