End of proof