Attempting to prove simpler statement