证衍

注释

1.证实和推演。