A purely verification proof of the first Rogers-Ramanujan identity. - Shalosh B. Ekhad; Sol Tre (J. Comb. Theory A, 1990)