Smallest Element of Minimally Closed Class under Progressing Mapping

Theorem
$b$ is the smallest element of $N$.