Gravar-mail: Why Spiking Neural Networks Are Efficient: A Theorem