Ovo je odlično... Svaka čast na temi!

Svojevremeno sam čitao članak Saharona Šelaha u kome je autor naveo stav sa 4 dela - pod a, b, c i d. Onda je napisao

Proof:
a) Easy
b) Left to reader
c) as b)
d) See a) and c)

i stavio oznaku za kraj dokaza. To je autoru bio uobičajen način pisanja. Dokazivao je samo najteže stavova, pa su se pregrevali procesori čitaocima u pokušajima da dokažu ono za šta je napisao da je lako, prosto, trivijalno... Inače je reč o možda najvećem imenu teorije modela (oblasti matematičke logike), a dao je vrlo važne rezultate i u teoriji skupova.

Zanimljivo.
6 i 8 je isto. Mogao bih i da dokažem, ali sam suviše lenj.

Zaista - mantra za pocetak kilometarskog, na pamet nabubanog dokaza :}

Razlika je u bulovom "i" - tako da mozda nije isto :)

I ja bih ovde nešto dodao ali mi je mrsko da se logujem.