"On the one-element field and pregeometries of trivial type".