voorkennis bewijzen in driehoeken en vierhoeken bewijzen in cirkels volledige inductie andere bewijsmethoden