greatest-common-divisor public under natural-number 4 List Picture As a command %3 n0 greatest-common-divisor n1 natural-number n1->n0