一カラ見たら公式の関係性とサークル数は必ずしも比例するわけじゃないって思うよね