Hot: teorem