EU0018 Proposition for problem 18 solution