fn neutral_element() -> Self {
        // SAFETY:
        // - `(0, 1, 0)` is **mathematically valid** as the neutral element.
        // - `unwrap_unchecked()` is safe because this is **a known valid point**.
        let point = Self::new([
            FieldElement::zero(),
            FieldElement::one(),
            FieldElement::zero(),
        ]);
        debug_assert!(point.is_ok());
        point.unwrap()
    }
The point at infinity.

# Safety

- The point `(0, 1, 0)` is a well-defined **neutral element** for Montgomery curves.
- `unwrap_unchecked()` is used because this point is **always valid**.
crates/math/src/elliptic_curve/montgomery/point.rs