<xsl:apply-templates mode="inline" select="*[position()=2]"/>
<FONT color="red"> proves </FONT>
<xsl:apply-templates mode="inline" select="*[position()=3]"/>
+ <xsl:if test="*[4]">
+ <FONT color="red"> which is equivalent to </FONT>
+ <xsl:apply-templates mode="inline" select="*[position()=4]"/>
+ </xsl:if>
</xsl:when>
<!-- letin1 -->
<xsl:when test="$name='letin1'">