2. Orok.
sin. prouver

Logikaren edo matematikaren bidez zerbait egiazkoa edo baliozkoa dela erakutsi.