公式として使うことはなさそう（式変形の中で似たようなことはしたことある気がする）