proof is OK