@qynhanh: The proposition: