だからさ、双曲平面版の話を理解した上で言ってるの？
この場合は選択公理は必要ないんだからさ。