tatra prathame darśane yadi vikalpāvasthāyām asarvajñatvaṃ sādhyate tadā siddhasādhyatā
In that regard, according to the first view, if non-omniscience in the conceptual state is what is being proved, then it is [merely] proving what is [already] proved.