Como la sentencia y su recíproco son ambas verdaderas, esta afirmación se llama bicondicional, y puede expresarse como "Un polígono es un cuadrilátero "si y solamente si" tiene cuatro lados." (La frase si y solamente si puede ser abreviada como "IFF".) Esto es, tener cuatro lados para ser es un cuadrilátero y también suficiente para que un polígono sea cuadrilátero.