それは証明として不十分ではないのか?
ロジックの積み重ねで証明をして欲しい