theorem :: XPRIMES2:6704

canceled;