Se prueba " si p...entonces q" y además, " si q...