Added a hypothesis to a theorem