Cars, buses and bikes ______ stop when the traffic lights are red.
A:can
B:must
C:may
D:need
用反证法证明“在同一平面内,若a⊥b,a⊥c,则b∥c时,第一步应假设( )