take B ; :: thesis: B is B -extending
thus B is B -extending ; :: thesis: verum