Theory of point processes and some basic notions in energy level statistics