lect7 theorem
Revert "lect7 theorem"

This reverts commit 116042f06cb7dc7fc0e070f4225a91b27dd8f6ef.
Revert "Revert "lect7 theorem""

This reverts commit ce773ce91d449e3c243cdd42a698fb9be169399e.
Merge branch 'master' of https://github.com/Miackulp/RudLect

Conflicts:
	Rud_lect.tex