proof is difficult