theorem :: XPRIMES2:5426

canceled;