Prove PIT_list_not_nil_ForwardInterest. (CCN_Backward is complete)