no vain

Proof／no vain MELL 1180454400000