Description: An integer in the upper set of integers starting at 3 is element of the upper set of integers starting at 2. (Contributed by Alexander van der Vekens, 17-Sep-2018)
Ref | Expression | ||
---|---|---|---|
Assertion | uzuzle23 | |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | 2z | |
|
2 | 2re | |
|
3 | 3re | |
|
4 | 2lt3 | |
|
5 | 2 3 4 | ltleii | |
6 | eluzuzle | |
|
7 | 1 5 6 | mp2an | |