theorem :: XPRIMES2:4905

canceled;