prove there is a c_1

Printable View