Bevis for de tre a-formler