theorem :: XPRIMES2:5767

canceled;