take {} T ; :: thesis: {} T is perfect
thus {} T is perfect ; :: thesis: verum