Fixed Point of Progressing Mapping on Minimally Inductive Class is Greatest Element

Theorem
Let $M$ be a class which is minimally inductive under a progressing mapping $g$.

Let $x$ be a fixed point of $g$.

Then $x$ is the greatest element of $M$.