theorem :: XPRIMES2:5372

canceled;