Common use of There exists Clause in Contracts

There exists. a deterministic polynomial-time algorithm that, given a finite ring A, computes the generalised prime subring of A. 6.2 Separability‌