This lecture focuses on the condition for the existence of a common orthonormal eigenbasis to a set of two or more normal operators. It covers the proof that if two normal operators commute, there exists a common orthonormal eigenbasis. The lecture also discusses the generalization of this condition to an arbitrary number of normal operators.