Proving that (x+1) ¹ x+1 | Synapse