Due to its superficial similarity with the famous theorem of Goldstone, we will refer to this statement as the linked cluster theorem for regularisers. We show its formal proof in appendix B. Despite these additions to the rules, the new restrictions still yield an infinite number of possible terms (though we have successfully reduced the number to countable infinity).