Fix bug preventing use of introduction step result as hypothesis when applying theorem