Ehrhart's theorem (source code)

= Ehrhart's theorem
{c}