self-implication

Мат. закон тождества