theorem :: XPRIMES2:5577

canceled;