theorem :: XPRIMES2:7257

canceled;