Geometric Ergodicity Of A Random-Walk Metorpolis Algorithm Via Variable Transformation And Computer Aided Reasoning In Statistics.