Let
In this way,
In this way,
is valid.
Let
is valid for some
Now,
Subsequently,
is valid and at whatever point
is valid
is valid.
In this way,
is valid for all
Let
In this way,
In this way,
is valid.
Let
is valid for some
Now,
Subsequently,
is valid and at whatever point
is valid
is valid.
In this way,
is valid for all