Let P be a procedure that for some inputs calls itself (i.e., is recursive). If P is guaranteed to terminate, which of the following statements must. Let P be a procedure that for some inputs calls itself (i.e., is recursive). If P isÿguaranteed to terminate, which of the following statements must be true?