7.2.3 Kiirteteoreem.