  We give an algebraic proof of the formula on the norm of logarithmic primary
of Virasoro algebra, which was proposed by Al. Zamolodchikov. This formula
appears in the recursion formula for the norm of Gaiotto state, which
guarantees the AGT relation for the four-dimensional SU(2) pure gauge theory.
