theorem :: XPRIMES2:2426

canceled;