Después resolvió el caso "CRP" (una circunferencia, una recta y un punto) utilizando tres lemas.