The top documents tagged [algebraic proofsyou]