proof of existence of z in x < z < y

Printable View