>>15-17
The real question is always: did we actually prove what we wanted to prove? Embarrassingly the paste only proves that the inverse of n! is n. But, for example, it says nothing about the inverse of n!-1 which could also be n. Here's an extended version that also proves that if the inverse of m is n, then m must be n!: https://paste.textboard.org/399b89fa