theorem :: XPRIMES2:5724

canceled;