式のすべての要素に分解パターンを導入します。