Let n be a natural number.
יהי n מספר טבעי.