7 kyu
If n is even, then (n/2-1)*2 = n-2
Description:
Prove that if 2 | n, then . Don't worry about ring problems with nats, because it will be done with ints.
It would be true even if n was not even (no pun intended :p), but not with integer division, and we don't want to worry about decimals.
Theorem Proving
Fundamentals
Stats:
| Created | Jun 20, 2020 |
| Published | Jun 20, 2020 |
| Warriors Trained | 131 |
| Total Skips | 11 |
| Total Code Submissions | 64 |
| Total Times Completed | 42 |
| Lean Completions | 42 |
| Total Stars | 1 |
| % of votes with a positive feedback rating | 94% of 9 |
| Total "Very Satisfied" Votes | 8 |
| Total "Somewhat Satisfied" Votes | 1 |
| Total "Not Satisfied" Votes | 0 |
| Total Rank Assessments | 5 |
| Average Assessed Rank | 7 kyu |
| Highest Assessed Rank | 7 kyu |
| Lowest Assessed Rank | 8 kyu |
