Question 746972
This is <font color="red">always</font> true by definition.