Gravar-mail: A proof for loop-law constraints in stoichiometric metabolic networks