xの参照先がクラスPrittyのインスタンスであれば、xをPritty型への
参照型にダウンキャストした上でメソッドを行わなければならない？

良く分かりません。Prittyのインスタンスなのにダウンキャストする？
理解できん。何で？