>>488
7の凸って、6の完凸と、6の無凸が必要じゃなかった？
5の必要数は変わらないけど。