The way you prove a transaction is in a block, is that you …

The way you prove a transaction is in a block, is that you have the a path through the merkle tree that in combination with your transaction hash, hashes down to the merkle root of the block it is supposed to be mined in. Merkle path validation. -- rt12