同じである証明が色々ある
違うという証明は無い