theorem :: XPRIMES2:6981

canceled;