Draft talk:Dylan Right triangle theorem