@weg: The only proof