Four Fours/Lemmata/Three Fours/23/Solutions