聞くところによると$T(5037)がかくかくしかじか それからこうだそうで…