で、選択公理を使うのは、補題2の証明で、1か所だけです。

選出関数 Φ を使うだけです。

A が可算集合の場合には、選出関数は必要ないのでしょうか？