Showmes not found
basic proofs