GF 1 Basic

Theorem 1.1 (1)

abcd