How Difficult Is This To Prove?