theorem

n 1 uhakiki wa kimantiki. 2 (maths) uhakiki.