Esta declaración es fácilmente demostrable "dentro del sistema".