prove transform correct