Proving the Carry-over Effect of Slow-Wave Sleep by Mathematical Models