计蒜客习题：蒜头君的猜想