Ver respectivas demostraciones aquí. 1.1.4 . 1.1.5 . 1.1.6 1.21.1 Si entonces 1.21.2 Si entonces 1.21.3 Si y entonces y