Four Fours/Lemmata/Three Fours/53/Solutions