Na zaciatok podkapitoly o vlastnostiach kardinalneho umocnovania som doplnil dokaz, ze a^2=a.a.
V dokaze a^b<=2^(ab) ma byt P(BxA) nie P(AxB).