MRB constant proofs

/