This is a confidential discussion.

For example, we discuss that parameter A can be divided into

1, a = 0,2 and a≠0. If a≠0 is discussed, when the proposition holds, the case of a=0 is not considered.

The discussion should be neither heavy nor leaked.

Topic: When the first switch is short-circuited, the proposition has been established. So don't consider other switches.