Här kunde tillämpas den bekanta satsen: