otters theorem