Подобных солянок - нет. Приходиться перерабатывать самим. Кстати, Солонина в конце прошлого года как раз на этом форуме разбирали. Сказали что не все гладко и не совсем правильно. Дескать близок по стилю доказательства к Резуну.