thus <*x*> is trivial ; :: thesis: verum