nafur/optiB — pull request #3 by ioah86 (2012-02-04 12:34:28+00:00)
Title: Corollary 9.1, 9.2 and definition 9.3 fixed

There were errors I fixed here... I hope I did this right with the pull request ;-)