theorem :: XPRIMES2:2373

canceled;