Commented Admitted proof part