A Direct Lazy Sampling Proof Technique in Probabilistic Relational Hoare Logic