Identity theorem (source code)

= Identity theorem
{wiki=Identity_theorem}