Smallest Element of Minimally Closed Class under Progressing Mapping/Proof