非ゼロを同一視