theorem :: XPRIMES2:5810

canceled;