theorem :: XPRIMES2:2481

canceled;