数学者のチンコの長さは平均20cmというのが定説です