(a) From Girard's theorem for a triangle, deduce Girard's theorem for the completment of the triangle.
(b) From Girard's theorem for a small triangle, deduce Girard's theorem for a tri-angle with one long edge.
("Small triangle" means a triangle that is contained in a hemisphere. "Long edge means an edge that is more than half of the great circle on which it tics.)