theorem :: XPRIMES2:6786

canceled;