π ππππΌπ ππΊπ²π ππΈπ²πΏπ on Nostr: quo erat demonstrandum quo erat demonstrandum