take Trivial-COM N ; :: thesis: ( Trivial-COM N is homogeneous & Trivial-COM N is realistic )
thus ( Trivial-COM N is homogeneous & Trivial-COM N is realistic ) ; :: thesis: verum