642や643がもしPDEの一般のレベルなら
Lewyの反例がいかに驚くべきものだったかということが
よくわかる