Proving a // o gram