verification of huygens wave theory