Vyvození vzorce pro výpočet obsahu čtverce