theorem :: XPRIMES2:5717

canceled;