3 ms·
Is it? You can tell the checker about the remainder of division by 2 to 6.
by amenghra 2y ago
Is it? You can tell the checker about the remainder of division by 2 to 6.
- deleted 2y ago[deleted]
- kevhito 2y agoMaybe 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?
- someplaceguy 2y agoThe first one can be trivially proved with automatic decision procedures and the second one is also very easy to prove, I believe.