式を変形して簡単にした