A Reduction to no Memory Proofs