Bear Category Theorem