The Krasnosel’skii Bifurcation Theorem is generalized to C 1 {C^1} -Fredholm maps. Let X X and Y Y be Banach spaces, F : R × X → Y F:R \times X \to Y be C 1 {C^1} -Fredholm of index 1 and F ( λ , 0 ) ≡ 0 F(\lambda ,0) \equiv 0 . If I ⊆ R I \subseteq R is a closed, bounded interval at whose endpoints ∂ F ∂ x ∂ F ∂ x ( λ , 0 ) \frac {{\partial F}}{{\partial x}}\frac {{\partial F}}{{\partial x}}(\lambda ,0) is invertible, and the parity of ∂ F ∂ x ( λ , 0 ) \frac {{\partial F}}{{\partial x}}(\lambda ,0) on I I is -1, then I I contains a bifurcation point of the equation F ( λ , x ) = 0 F(\lambda ,x) = 0 . At isolated potential bifurcation points, this sufficient condition for bifurcation is also necessary.