Simplicity of An

Theorem 101.1.

is simple.

Proof

Theorem 101.2.

is simple for .