[補題2]線型代数・微積は禁止。