theorem :: XPRIMES2:5140

canceled;