A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry | Publicación