User:Saung Tadashi/Heymann's lemma

Heynmann's lemma

Extension
An extension for multiple inputs is presented in Proposition 2 of