No.11434636 ViewReplyOriginalReport
How to solve (the answer is 1) formally using a logical method, rather than just trial and error?