Lectures on the Edge of the Wedge theorem