≡って定義するって意味だろ？
＞f(x)+g(x)≡h(x)のとき
こう定義してるんだから
＞f(x)exp[-ax^2]+g(x)exp[-ax^2]=h(x)exp[-ax^2]
自明って言うか、単なる式変形にすぎねぇだろ