D3S_1539-proofs