The part of proof