Template:Part of proof