theorem :: XPRIMES2:6776

canceled;