Decidability in the Hyperdegrees and a Theorem of Hyperarithmetic Analysis