バカ主は選択公理も分かってなければ、時枝解法で選択公理がどう使われてるかも分かってない
サル畜生にはサル知恵しかありませんでした（＾＾；