Если каждая мышка побывала на складе с каждой, значит граф, отображающий наличие совместных походов на склад, будет содержать 20 вершины со степенями 5. Так как походы совершаются по 4 мышки .Значит 2 раза в холодильнике не могла быть одна и та же мышь.