Thus whenever a theorem and its reciprocal are true we have a biconditional.
Така кога теоремата и нејзиниот реципроцитет се вистинити, тогаш имаме двоуслов.