Given the conditional statement “If 2x+5=7, then x=1”. The statement “If x=1, then2x+5=7” is its