theorem ErdosStraus.hasDecomposition_two : HasDecomposition 2

theorem ErdosStraus.hasDecomposition_three : HasDecomposition 3

theorem ErdosStraus.hasDecomposition_four : HasDecomposition 4

theorem ErdosStraus.hasDecomposition_five : HasDecomposition 5