بله؛ در حقیقت در سال 1837 ریاضی دانی فرانسوی به نام پیر ونزل قضیه رو اثبات می کنه که طبق اون نثلیث زوایا برای برخی از زوایا که با توجه به فرمولی که ارائه کرده امکان پذیره و برای حالت کلی امکان نداره.
شهرت این ریاضی دان هم همین قضیه هست و همونطور که دوستان گفتند این قضیه خیلی وقت پیش اثبات شده...