theorem :: XPRIMES2:4925

canceled;