Baker-Gill-Solovay theorem