The proof is on premises