Riemannin lause on lause kompleksisen muuttujan funktioiden teoriasta irrotettavan raon täyttämisestä .
Oletetaan, että ja on analyyttinen . Seuraavat viisi ehtoa ovat vastaavia: