20020627 unknown: Musharraf's Theorem