theorem :: XPRIMES2:2372

canceled;