theorem :: XPRIMES2:6794

canceled;