added 28, TODO proofs
Merge branch 'master' of https://github.com/NikitaYakuntsev/algebra

Conflicts:
	main.aux
	main.log
	main.pdf
	main.toc