Establishing atmospheric neutrino oscillations with Super-Kamiokande