Prvi način:
Trokut ABC je jednakokračan i pravokutan trokut pa je a=∣AC∣=∣BC∣ i c=∣AB∣.
Neka je točka D nožište okomice iz točke R na pravac SB.

Kutovi ∠CBA i ∠DBR su šiljasti kutovi s okomitim kracima jer je BC⊥BD i AB⊥BR pa vrijedi da je
∣∠CBA∣=∣∠DBR∣=45∘.
Trokut BDR je pravokutan pa je
∣∠BRD∣=90∘−∣∠DBR∣=90∘−45∘=45∘=∣∠BAC∣.
Budući da je četverokut APRB kvadrat, onda je ∣BR∣=∣AB∣=c. Osim toga, ∣∠BRD∣=∣∠BAC∣ i ∣∠DBR∣=∣∠CBA∣ pa prema poučku K-S-K o sukladnosti trokuta slijedi da je △RBD≅△ABC.
Posljedica sukladnosti jest da je ∣DR∣=∣CA∣=a. Dužina DR je visina tupokutnog trokuta BRS na stranicu BS pa je
P△BRS=2∣BS∣⋅∣DR∣=2a⋅a.
Zbog simetričnosti također vrijedi
P△AVP=2a⋅a.
Trokuti ABC i CTU su pravokutni s katetama duljine a pa vrijedi da je
P△ABC=P△CTU=2a⋅a.
Dakle,
P△ABC+P△CTU+P△AVP+P△BRS=4⋅2a⋅a=2⋅a⋅a.
S obzirom da je
PBSTC+PACUV=a⋅a+a⋅a=2⋅a⋅a,
tvrdnja je dokazana.
Drugi način:

Nacrtaju li se dijagonale kvadrata BSTC i ACUV (uz oznake kao na slici), vrijedi da su trokuti ABC, BTC, TBS, TUC, UAC i AUV sukladni. Naime, navedeni trokuti su pravokutni s katetama jednakih duljina pa su prema poučku S-K-S o sukladnosti trokuta sukladni.
Vrijedi da je
P△ABC+P△CTU=P△TBS+P△BTC=PBSTC.
Također, vrijedi da je ∣∠BAC∣=∣∠CAU∣=45∘ i ∣∠PAB∣=90∘ pa su točke P, A, E i U kolinearne.
Dijagonale kvadrata okomite su i raspolovljuju se pa je VC⊥AU, a točka E polovište je dijagonala kvadrata ACUV. Dužina EV visina je trokuta AUV na stranicu AU, ali je i visina tupokutnog trokuta AVP na stranicu AP.
Trokuti ABC i UAC su sukladni pa slijedi da je ∣AU∣=∣AB∣=∣AP∣.
Dalje vrijedi
P△AVP=2∣AP∣⋅∣EV∣=2∣AU∣⋅∣EV∣=P△AUV.
Na isti način se pokaže da je P△BRS=P△TBS.
Slijedi P△BRS=P△TBS=P△ACU.
Vrijedi da je
P△AVP+P△BRS=P△AUV+P△ACU=PACUV
čime je dokazana tvrdnja da je
P△ABC+P△CTU+P△AVP+P△BRS=PBSTC+PACUV.