Primitive function/Inverse function/Fact/Proof