Dokazatel'stvo pravil'nosti program (Mir, 1982)