theorem :: XPRIMES2:5485

canceled;