8Kチューナーがあるかないかはともかく、HDMIケーブル1本で繋げるんだろうな?