When both members of the biconditional are propositions, it can be separated into two conditionals, of which one is called a theorem and the other its reciprocal.
Кога двата елемента на двоусловот се искази, тие можат да се одвојат во два услова, од кои еден се нарекува теорема, а другиот реципроцитет.