Star of David theorem (source code)

= Star of David theorem
{wiki=Star_of_David_theorem}