(4) and (2) are thus equivalent.
(4) と (2) はしたがって同値である。