ઉદાહરણ તરીકે, તે ગણિતમાં સૂત્રો સાબિત કરવા માટે જરૂરી નથી.