Prove that ∀n∈IN ∫^( 1) _( 0) t sin^(2n) (lnt)dt= (1/(1−e^(−2π) )) ∫^( π) _( 0) e^(−2t) sin^(2n) (t)dt