Tellegen's theorem and multivariable realizability theory†