Create fin_ord_theory.idr