Well I'll try to start mine, but will have to paraphrase and/or give up - it's an old A-level advanced pure mathematics book........
"With these interpretations it remains to show that the two laws a**m/a**n = a**m-n and (a**m)**n = a**(m*n) remain true for all values of m and n ...."