User:Tazerenix/ddbar lemma

test