A classical theorem of Bocher states that a positive harmonic function in a punctured ball can be written as the sum of a multiple of the fundamental solution and a regular harmonic function. I will describe generalizations for degenerate $\sigma_k$ equations. Joint work with Yanyan Li.