fix theorem refs