Welcome to this example.

Theorem 1: x < y, y > z