Minimally Closed Class under Progressing Mapping is Well-Ordered/Proof