If the sections of an irreducible algebraic surface with a doubly infinite system of planes turn out to be ruler curves, then the above surface is either ruled or the Roman surface of Steiner.
Kung ang mga seksyon ng isang hindi na mababawasan algebraic sa ibabaw ng doble walang hanggan sistema ng eroplano turn out na maging pinuno kurva, pagkatapos ay ang ibabaw sa itaas ay alinman sa pinasiyahan o ang Roman ibabaw ng Steiner.