von Neumann lecture improvements

[jstac]

• Only part of class Neumann(object): is showing --- show all
• the word object should be removed from the above
• use correct theorem and proof environments (ask @mmcky)