Vậy là rõ ràng rằng con ốc sên cần một PCS và sau đó toàn bộ cấu trúc có vẻ hơi quá mức cần thiết. Nhưng tại sao không ai làm điều này? Có vẻ như đây là một cách kiểm tra tương tự đơn giản và hiệu quả cho phép chia đơn biến bằng không.