$h \cdot ( \vert f \vert - \vert g \vert ) \ \vee \ 0 \ \ \ \ \ \Longleftrightarrow \ \ \ \ \ h \cdot ( f^2 - g^2 ) \ \vee \ 0$.
© И.Л.Семенов, 2025