定理っちゅうか、ただの計算だろ