Summary We state and prove a surprising incidence theorem that was discovered with the help of a computer graphics program. The theorem involves sixteen points on ten lines and five circles; our proof ...