5. #(S.car)=n
6.
k:. (S:n0n1(k)
s) = q
L:
*. (S:Ls) = q & (k:. 
L = n0n1(k)))n:. #(S.car)=n ) & (k:. (S:n0n1(k)s) = q) L:*. (S:Ls) = q & (k:. L = n0n1(k))| 1 | 4. n: 5. #(S.car)=n 6. k:. (S:n0n1(k)s) = q L:*. (S:Ls) = q & (k:. L = n0n1(k)) |
About:
 |  |  |  |  |  |