Bevispuslespil for a i linjens ligning