Some business cycle fluctuations in real GDP but the fluctuations are independent of the lump-sum tax