ഗണിതശാസ്ത്രത്തിൽ ഉപയോഗിക്കുന്ന നാല് അടിസ്ഥാന പ്രൂഫ് ടെക്നിക്കുകൾ