Proposição. O número total de retas é $mk$, o que é o mesmo que $n + k$. 