Shadowed Ridge by Infinity Theorem