Mathematical proof is given here.
All the data for protein interaction network can be found from the following::
They are Matlab binary files.
The data for metabolic network is available from Yamanishi’s page.