7. tétel