theorem :: XPRIMES2:6426

canceled;