PCI,PMI,WOP?

[HGL]

I would appreciate some help proving the following by PCI:
1) for Fibonacci numbers, f sub n is a natural number for all natural
numbers n
and 2) by WOP, for every rational number r there is a smallest positive
integer n such that r = m/n

Thanks

[William Elliot]

Post by HGL
1) for Fibonacci numbers, f sub n is a natural number for all natural
numbers n
and 2) by WOP, for every rational number r there is a smallest positive
integer n such that r = m/n

Who's PCI and WOP and why didn't PMI show up?