Greenberger-Horne-Zeilinger argument of nonlocality without inequalities for mixed states