Help with 7, please. Discrete Structures.

7. You've likely seen that every positive integer can be properly expressed in binary. That is, for every positive integer n, we can write 261 +262 + ... + 20% where 0 0 can be expressed in binary, i.e. that n = 260 +261 +262 + ... + 25*, where 0 0 and re- turns a list [bo, b1, ..., bk] where n = 25 +261 +262 + ... + 25x, and 0 0 can be expressed in binary, i.e. that n = 260 +261 +262 + ... + 25*, where 0 0 and re- turns a list [bo, b1, ..., bk] where n = 25 +261 +262 + ... + 25x, and 0