add blank lines before each 'proof' line so it shows up in another paragraph
prove cancellation law for natural number addition
formatting tweaks to set theory notes
up to  uniqueness of predecessor in nats.md