theorem :: XPRIMES2:5765

canceled;