Die Flachheit ergibt sich aus Fakt, die Treuheit aus m R ^ ⊆ m R ^ {\displaystyle {}{\mathfrak {m}}{\hat {R}}\subseteq {\mathfrak {m}}_{\hat {R}}} .
