Dopolnil dokaz leme.