coordinate proof