Fixed doc of finLtNat proof