Bewijs hoofdeigenschap ellips