also no. you cant assume tx fits to your rules because of a "proof". that would be the best compression ever created. you are losing information. its impossible. as i said in the beginning "delusion of a solution"