\(A, B, \dots, F\) がすべて小さいので総当りする.