theorem :: XPRIMES2:5774

canceled;