Thus the factors of (12) form a sub-multiset of the factors of the arm-leg product (11), and the claim follows. \(\square \)
」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」＜第２章　物質の構成粒子＞（教p19-）