Improved structure of proof, changed definitions