Fixed Point of Progressing Mapping on Minimally Closed Class is Greatest Element/Proof