>>945
選択公理仮定すれば自明だわな