Problem 5 verifed, Problem 6 done