Theorem1ぢゃなくて「ダビデの星」の方でつ。
>>540 の対角線だけ見れば星形)