Common use of Theorem 5 Clause in Contracts

Theorem 5. There exists a deterministic polynomial-time algorithm that, given a finite ring R and a finite R-module M, outputs a projective cover of M.