Martingale method, spectral gap, VBS states, XXZ model, AKLT model