Description: A projective point spans a subset of the (nonzero) affine points. (Contributed by SN, 17-Jan-2025)