Есть ли в математике теоремы, пытающиеся доказать, что 2*2=5 или 2=1.