Rigorous results on the threshold network model