theorem :: XPRIMES2:2253

canceled;