Ho questa definizione da dimostrare:
"Esiste una corrispondenza biunivoca tra le rette del piano affine e le classi di proporzionalità di equazioni lineari in due incognite."
E' dovuta al fatto che l'equazione lineare $(x - x_0)/l = (y - y_0)/m$ si può scrivere come $mx - ly + ly_0 - mx_0 = 0$, e cioè del tipo $ax + by + c = 0$. E' vero? E questa la dimostrazione?