theorem :: XPRIMES2:5279

canceled;