How to prove Morley's trisector theorem with Maple?

Look here concerning this theorem, which states that in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle, called the Morley triangle.