Multi BigFoot Proof in ND