theorem :: XPRIMES2:5962

canceled;