No.056 A

$a = b$ ならば TopCoDeer くんは正直者である.