Wallace-egyenes bizonyítása