US7075835B2 - Redundancy Control Circuit Which Surely Programs Program Elements and Semiconductor Memory Using the Same