Let A be a turing machine

let y be a symbol within A

prove -- can you solve whether or not A writes y onto the tape