Relax

Respuesta :

use one of the axioms