theorem :: XPRIMES2:6956

canceled;