A,BがコンパクトならA×Bがコンパクトであること示すのには
別に選択公理必要ないよね