>>390
よって△abc≡△efgである。
って使うくない?