A useful theorem for nonlinear devices having Gaussian inputs | Synapse