22/03/12 18:01:15.24 SYo+2ymZ.net
D_n = {x^i * y^j | 0 ≦ i < n, 0 ≦ j < 2} であることは関係式とか持ち出さなくても D_n の定義から明らかですよね。
22/03/12 18:01:15.24 SYo+2ymZ.net
D_n = {x^i * y^j | 0 ≦ i < n, 0 ≦ j < 2} であることは関係式とか持ち出さなくても D_n の定義から明らかですよね。
22/03/12 18:01:15.24 SYo+2ymZ.net
D_n = {x^i * y^j | 0 ≦ i < n, 0 ≦ j < 2} であることは関係式とか持ち出さなくても D_n の定義から明らかですよね。