Therefore, QED! :)