Las 2 demostraciones están bien. con la RAA generaste una hipótesis que no llegaste a utilizar, en este caso con la eliminación de bottom ya era suficiente.
la RAA yo lo veo más útil cuando las hipótesis con las que estas trabajando no te son suficiente y necesitas generar hipótesis locales para poder dar una demostración.