posic | Чукча (не) читатель

Что может заставить современного алгебраиста (т.е., меня) разобраться в доказательстве цитируемого утверждения? Естественно, необходимость вставить оговорку "мощности, не превышающей выбранного кардинала ℵ" в разные места в его формулировке!

P.S. Я знаю, что математикам следует понимать доказательства чужих результатов, которыми они пользуются в своих работах. Этот мой постинг, таким образом, посылает дурной сигнал юношеству. Но на практике это примерно как не переходить улицу на красный свет (дети же смотрят!)