#235121: yeka ingilize teoremleri ispatlamaya çalışıo