Cup Product on Cohomology