Rewrites proof using align* environment.