theorem :: XPRIMES2:5873

canceled;