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