theorem :: XPRIMES2:5970

canceled;