Zastosowanie wzorów skróconego mnożenia w dowodzeniu twierdzeń