20070909 unknown: What is known as the Baudhayan theorem?