ヘロンの公式において、三辺が $a, b, c$ のとき $s$ はどのように定義されるか。

$n^5 – n$ が常に $30$ の倍数であることを示すのに用いられる定理はどれか。