sdanaher_theorem