theorem :: XPRIMES2:6387

canceled;