take Trivial-COM N ; :: thesis: Trivial-COM N is realistic
thus Trivial-COM N is realistic ; :: thesis: verum