Real function/Continuous/Addition, multiplication, inverting/Fact/Proof