How to prove that there are no 2x2 garden of eden patterns? How to prove that there are no 3x3 garden of eden patterns with one or two live squares?