+Algebra/FunctionProperties/Eq
+Algebra/Field