theorem :: XPRIMES2:2374

canceled;