set S = SomePoints g;
(((field g) \ (fixpoints g)) \ (SomePoints g)) /\ ((SomePoints g) /\ (SomePoints g)) = {} ;
hence (OtherPoints g) /\ (SomePoints g) is empty ; :: thesis: verum