結果 : rotational partition function derivation