tłumaczenie kk: Potrzebuję pomocy w przetłumaczeniu tego zdania: If p/q is not in lowest terms, it reduces to a fraction whose denominator is less than q, for which the theorem is known to hold. Nie rozumiem wyrażenia: "theorem is known to hold". To znaczy: "Twierdzenie jest już nam znane? ".

das: Ja też nie rozumiem

g: "wiadomo, że teoria obejmuje ten przypadek"