MathGeek replies on comments by Proehali