theorem :: XPRIMES2:6942

canceled;