Create StrongNat_subtract_with_oh_so_True.idr