Pontosan melyik tételben mi számít nagyobb levezetendő bizonyításnak? És melyik tételben nincs ilyen? Örülnék ha valaki felsorolná, mert nekem nem világos teljesen. Kössz. KB -- Open WebMail Project (http://openwebmail.org) Debian Project (http://www.debian.org)