Definíciókat nem levezetni szoktak, hanem kimondani.