added explanation of theorems in slightly more legible LaTeX form