theorem :: XPRIMES2:2758

canceled;