Theorem about Jordan form