The following three lemmas form the mathematical fundaments of the
modal completeness proof of
.
Let
with
and let
be such that
and
.
There exists
,
and moreover
.
Again
can be chosen to be maximal with
respect to
-inclusion.