面与面的夹角理论是哪个数学家提出的?