theorem :: XPRIMES2:260

canceled;