theorem :: XPRIMES2:4758

canceled;