忠実(ちゅうじつ)

数学において、