Theorem Predictions for HL?

Anyone got any predictions for what theorem is coming up for HL? My teacher has a feeling it will be Pythagoras theorem because it hasn't come up on the JC since the syllabus changed and it came up on our mock, opinions?

Эргодическая гипотеза— 31/05/16