for a being Real st a <= - 1 holds
- 1 <= a "