If (13) and (14) have the same content, then (15) and (16) differ only by substitution of expression...