theorem for finite proj planes (equal counts for point and lines)
add group theory page with brief notes on conjugation