f:(). 
  (n:. f(n) = 0)  (n:. if f(n)=0 False else C:Prop. C fi)  Prop

1

1. f :  2. n:. f(n) = 0   (n:. if f(n)=0 False else C:Prop. C fi)  Prop

4 steps

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html