applying @yyangmin79

can give any kind of proofs you want