Bauer's theorem

1. REDIRECT Bauerian extension

{{Redirect category shell|

{{R from alternative name}}

}}