E = McD² proof