Description: Two expressions for the 1-dimensional subspaces of partial vector space
A (when F is a nonzero vector i.e. non-identity translation).
Remark after Lemma L in Crawley p. 120 line 21. (Contributed by NM, 15-Oct-2013)(Revised by Mario Carneiro, 22-Jun-2014)