Definition of hyugen's principle