Inductive proof can be an improvement to bounded verification. The method includes the process for preparing a porous substrate and the process for forming a silica coat on the substrate by chemical vapor deposition in which a reaction is brought about between a silica source provided to one side of the substrate and an oxygen-containing gas supplied to the other side of the substrate. The aberration correcting unit further comprises a first driver configured to drive the first corrector and a second driver configured to drive the second corrector. The light fed to the light source is switched on and off in step-like manner and the corresponding build-up or decay of the light detector signal is use to determine the time constant of the resonator and therefrom the physical parameter. In the present invention, the character relation information by which relations between a character and other characters constituting the contents of a motional video are formed and displayed, and information on the variation of relations between characters in the motional video are also displayed.