bochers theorem