Oleg Lyashko proved Pelevin's axiom

 

v20240901