theorem :: XPRIMES2:6958

canceled;