x^:12=x:(7-x) x^:12=x:(7-x)