Bevis for linjens ligning ax+by+c=0