873は872に対するハイレベルな皮肉だろ? ・・・え、違うの?