同接は買えるということが証明された