公理まで遡っても既存証明を再掲するだけだからページの無駄