theorem :: XPRIMES2:6406

canceled;