2. 0 < k
3. 0 < k-1
(
L:
List. 0 < ||L|| (
r:
. r- > L^k-1))4. k = 1
5. 0 < 1
6. L:
List7. 0 < ||L||
r:. r- > L^12. 0 < k
3. 0 < k-1
(L: List. 0 < ||L|| (r:. r- > L^k-1))4.
k = 15. 0 < k
6. L:
List7. 0 < ||L||
r:. r- > L^k
k:, L: List. 0 < ||L|| (r:. r- > L^k)
| 1 | 1. k: 2. 0 < k 3. 0 < k-1 (L: List. 0 < ||L|| (r:. r- > L^k-1))4. k = 1 5. 0 < 1 6. L: List7. 0 < ||L|| r:. r- > L^1 | 5 steps |
| 2 | 1. k: 2. 0 < k 3. 0 < k-1 (L: List. 0 < ||L|| (r:. r- > L^k-1))4. k = 15. 0 < k 6. L: List7. 0 < ||L|| r:. r- > L^k | 35 steps |
About:
 |  |  |  |  |  |