theorem :: XPRIMES2:7258

canceled;