$AKE nur ein Beweis