Tian on Nostr: Oh yes! Your writing about more than five made me believe you had an example with ...

Oh yes! Your writing about more than five made me believe you had an example with five. Four is good hint. My complicated proof is obsolete, oh well.