en X se cumple que