associative proof!