Rep+ & like. Proofs available

Thanks a lot