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