The Singularity Category Of An Exact Category Applied To Characterize Gorenstein Schemes. (13th June 2022)