Fedorchenko, Y. The Proof-Structure of the Transcendental Deduction of Categories. Fildumka 2017, 39-49.