>>11392075I tried showing that it is but I couldnt. might just have to start all over again with a better strategy
>>11392078bruh, you have to use it. without it, there is no way to define a collection of elements which are chosen from an infinite collection of sets
