theorem :: XPRIMES2:6970

canceled;