第二可算ならばLindelof

の証明ですが、これってAC使ってますか?