This question was asked in Example 1
Not theorem 

Venkatesh S Kiranagi's image
Venkatesh S Kiranagi
Dec. 17, 2019, 6:21 p.m.