refactor(data/nat/pairing): improve proof readability
refactor(data/nat/pairing): improve proof readability

in response to review comments on 0acdf1c
leanprover-community/mathlib,leanprover-community/mathlib