どっちもが証明を出さない限り平行線