Informasi yang berkaitan dengan en/Proofs of elementary ring properties