Solving -- 8. Suggestion of an E-Proof Environment in Mathematics Education -- Section