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