How to prove hoare triple when its precondition is {true}

Question

Is this Hoare triple valid ?

{true} K:X {5K>3}

{true} -> wp(K:X, 5K>3)

= 5X>3 = X>3/5

{true} -> X>3/5

I am unsure abo