theorem :: XPRIMES2:5530

canceled;