? ✓ ∫  
In dem Sinne V in welchem (a + b)² = a² + b² + 2ab durch AI, AII etc beweisbar ist, ist AI unbeweisbar [ unbewiesen ] .