it is evident that (1)
the existence of a (1)
in the case of (1)