The oxidation number of oxygen in KO3