top | item 40852687 (no title) kevhito | 1 year ago Maybe also need to show that there are no other naturals between 1 and 7? And also that numbers greater than 7 can't be a divisor of 7? discuss order hn newest someplaceguy|1 year ago The first one can be trivially proved with automatic decision procedures and the second one is also very easy to prove, I believe.
someplaceguy|1 year ago The first one can be trivially proved with automatic decision procedures and the second one is also very easy to prove, I believe.
someplaceguy|1 year ago