theorem :: XPRIMES2:5696

canceled;