Enunciados de esta índole, en la práctica, pueden demostrarse directamente los dos o bien por reducción al absurdo.