>>206
[Q(a+b):Q] ≦ [Q(a,b):Q] = [Q(a,b):Q(a)][Q(a):Q] ≦ [Q(b):Q][Q(a):Q] < ∞
積も一緒