Heyde theorem (source code)

= Heyde theorem
{wiki=Heyde_theorem}