@olusimeon can’t be proved… depends on the specific instances of y, x, and c..