theorem :: XPRIMES2:6717

canceled;