supA_nとsupB_nが存在するとき
supA_nB_n = supA_n×supB_n
はなりたちますか?