theorem :: XPRIMES2:5871

canceled;