ITP? (Explicit)

NOSSO LEMA (Explicit)