2. Mat.

Teorema bat frogatzeko erabiltzen den eta haren aurretik frogatu behar den proposizio edo teorema.