Add definitions of 1-9.
Solved first procedure of 1-9.
Fix a bit.
Solved 1-9.