Enunciat que es pot demostrar com a cert.