13ｍｍ ユーザーは 12mm ユーザーよりもひとケタ多い、なんて話もあったが。
これも違うだろう。
もしそうならサークル数で大差がついているはずで。