とりあえず、式=Kとおこう。