まああと何進数かで見た目の表記は変わっても同じものとして扱われるから、違う証明にはなってないんじゃね