Four Fours/Lemmata/Three Fours/27/Solutions