Hard theorem maths

Aryan Bansiwal's image