初音 ミク says to YSITD
兩邊相等=>兩角相等=>兩內角相加=另一個外角