the conjecture is actually a theorem