bauers theorem