Если все три факториала чётны, сумма тоже должна быть чётна, что возможно лишь при

, а этот случай очевидно не подходит. Значит, один из факториалов равен единице. Тогда переформулируем задачу: можно ли разложить

в сумму двух факториалов? Опять же, если оба факториала делятся на три, это может быть только в случае

, и этот вариант тоже не подходит. Значит, один из оставшихся факториалов равен двойке (если единице, там опять проблема с чётностью). Переформулируем задачу ещё раз: существует ли факториал, равный

? Если факториал делится на пять, то p должно равняться пяти, но 20 - не факториал. Итого, ответ - нет.