theorem :: XPRIMES2:5332

canceled;