数IIの式と証明です。組み立て除法や=kとおくタイプなどを扱います。