<_headf> <_opf>fac 0 <_foot> 1 <_headf> <_opf>fac n <_body> <_opr> greater n 0 m <_opf> - n 1 f <_opf> fac m <_foot> <_opf> * n f <_headf> <_opf>fact 0 <_foot> 1 <_headf> <_opf>fact n <_body> <_opr> greater n 0 f <_opf> fact <_opf> - n 1 <_foot> <_opf> * n f <_headf> <_opf>factorial 0 <_foot> 1 <_headf> <_opf>factorial n <_body> <_opr>> n 0 <_foot> <_opf>* n <_opf>factorial <_opf>- n 1