502 PROCEEDINGS OF THE AMERICAN ACADEMY. 



K — \ K 2 



ing values of k are determined by — - — or — - — , according as k is odd 



or even, we must have in general 

 1°. If the k's are all even, 



m — 2 



(11) 



2°. If the k's are all odd, 



tn — 2 / Ti~~; 



-^-+h^{^n-2r-^K'-^5^^. (Ill) 



It is to be noticed that ^ (k + \) (k — k — 1) in (I) above is always 



greatest when the K-tuple points are all of the most general kind. The 

 sufficient value of ^ is therefore always least in this case, that is when ^i 

 is given by (II) or (HI) above. The quantity {k + 1) {k — k — \) in 

 (I) is never less than zero; the quantity under the radical sign is thus 

 never greater than m^ — 4 wz + 8 ; therefore ^ = ?n — 1 will always 

 satisfy the conditions. We need therefore never take ju greater than 

 m — 1. 



7. The inequalities above give values of ^ greater than which we 

 need never take the order of the monoid. We can, moreover, find values 

 of fi smaller than which we can never take the order. As My, has ^ 

 (^ — 1) lines on it, we must always have 



h + ^k{k+\) + <r^a{^-\); (IV) 



■where h corresponds to the ordinary lines of J/^ that are double lines on 

 Km, '^k {k 4- 1) to the Z;-tuple lines of My_ that are K-tuple lines on 

 Km, and o- to the ordinary lines of M^. that are ordinary lines on Km- 

 As Kjn intersects J/^ in m (ju — \) lines, we must have 



2/« — 2^-K + o- = m (;u- 1). (V) 



By eliminating h from (IV) and (V), we obtain 



2^-(2l--K-2) +o-5(2/z-m) C"-l), 



i.e. ^-^ + i|/('n-2)2+8 2^-(2^--'<-2) + 8a^^; (VI) 



