Description: 3 does not divide 4. (Contributed by AV, 18-Aug-2021)
Ref | Expression | ||
---|---|---|---|
Assertion | 3ndvds4 | |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | 3nn | |
|
2 | 1nn0 | |
|
3 | 1nn | |
|
4 | 3t1e3 | |
|
5 | 4 | oveq1i | |
6 | 3p1e4 | |
|
7 | 5 6 | eqtri | |
8 | 1lt3 | |
|
9 | 1 2 3 7 8 | ndvdsi | |