theorem :: XPRIMES2:6988

canceled;