对于效力中止的人寿保险合同，投保人提出复效时，必须履行的程序中包括提供可保证明。可保证明的具体形式包括（　　）等。