j)||+||1:([1]i)|| = ||1:([0]k)||+||1:([1]k)|| 
False
)
nnS.car
k:. (S:n0n1(k)
s) = q(n+1)(n+1)i)s)) = f((S:([1]j)s))i)s) = (S:([1]j)s)j) @ ([1]i)) = (([0]k) @ ([1]k))
k = ij) @ ([1]i)|| = ||1:([0]k) @ ([1]k)|| Falsee:, L,M:*. ||e:L @ M|| = ||e:L||+||e:M|| )
18| 1 | 18. ||1:([0]j)||+||1:([1]i)|| = ||1:([0]k)||+||1:([1]k)|| False |
About:
 |  |  |  |  |  |
 |  |  |  |  |  |