Theorem about Jordan form
corrections
Merge branch 'theorem'