同値類は0と非0