the method of proof here is truly amazing.