theorem :: XPRIMES2:6984

canceled;