finished theroem