Prove Hero and Leander