theorem :: XPRIMES2:6975

canceled;