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, determines if M is injective.