proof pyramid