HDMI result

How do we know this?