Tétel törölve

Olyan tételt próbál elérni, ami törölve lett a repozitóriumból.