thus not omega is trivial ; :: thesis: verum