theorem :: XPRIMES2:6987

canceled;