theorem :: XPRIMES2:3724

canceled;