LBA_Proof_9x