procedure N(n) n
N(1) + N(2)