(::h necessitydoes notarise from the notion of the theorem; it israJherimposed, and the instruction to draw precisely these line$ when infinit ly many others could be drawn must be bli obeyed without our knowing anything yQnd except that we believe that this will he to the purpose in(; rryil)g out the proof.