You missed the part where he defines division as a/c = a * inverse(c) for all c != 0