The statement is and then .
Transitive property: for all real numbers , and , if and then .
The property is illustrated by transitive property.
The statement is illustrated by transitive property.