theorem :: SCMFSA8A:15

for l being Nat holds card (Goto l) = 1 by Lm1;