Fixed Strijov's title and dates.
Named the theorems after me.
Style fixes.