Usando esa definición, las otras dos definiciones se convierten en teoremas, o sea algo que hay que probar.