Sorry, guys! During system maintenance, some functions like comment are unavailable.

Theorem3 (unfinished/droppedd)