QED
n = quod erat demonstrandum co było do okazania, c.b.d.o. co było do udowodnienia, q.e.d.