A proof that tidal heating in a synchronous rotation is always larger than in an asymptotic nonsynchronous rotation state